منابع مشابه
IFF Category Theory Ontology
This paper begins the discussion of how the Information Flow Framework can be used to provide a principled foundation for the metalevel (or structural level) of the Standard Upper Ontology (SUO). This SUO structural level can be used as a logical framework for manipulating collections of ontologies in the object level of the SUO or other middle level or domain ontologies. From the Information F...
متن کاملA One Category Ontology
An ontology is defined by its fundamental categories. Following Peter van Inwagen (2011), take divisions between fundamental categories to mark “real divisions between things” that determine the basic categorical structure of the world. Speaking metaphorically, the fundamental categorical structure of the world carves the world at its fundamental joints. The project of determining the fundament...
متن کامل?Logic and Formal Ontology: Is the Final Formal Ontology Possible
Musa Akrami AbstractMany philosophers and logicians have contemplated the relationship between ontology and logic. The author of this paper, working within a Bolzanoan-Husserlian tradition of studying both ontology and logic, considers ontology as the science of the most general features of beings and the most general relations among them. He considers logic as the science concernin...
متن کاملOntology engineering , universal algebra , and category theory ?
In this chapter we review a category theoretic approach to ontology engineering. Using ideas from universal algebra, we carefully distinguish presentations of ontologies from the ontologies themselves. This leads to a precise notion of “view”, and views can be used both to create new ontologies incorporating existing ontologies while recognising their common classes and relations, and to develo...
متن کاملA Category Theoretic Model of RDF Ontology
Ontology languages are used in modelling the semantics of concepts within a particular domain and the relationships between those concepts. The Semantic Web standard provides a number of modelling languages that differ in their level of expressivity and are organized in a Semantic Web Stack in such a way that each language level builds on the expressivity of the other. There are several problem...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Monist
سال: 2015
ISSN: 0026-9662,2153-3601
DOI: 10.1093/monist/onv014